Visual Language Syntax and Semantics for Complex Reactive System

We describe the syntax and the semantics of a visual programming language for behavioral speciication of complex reactive systems. Like BNF grammar for specifying the syntax of the textual programming languages , we demonstrate how a visual language syntax can be deened by a rewrite rule language. These rules can act both as visual program generators as well as visual program parsers. At the same time, the visual program can be mapped to the same rewrite rule language for execution by existing logic program interpreters. In other words, the syntax and the operational semantics of our visual language can be described by the declarative semantics of a logic program. The executability of the visual program makes it a nice tool for modeling complex reactive systems.